Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Automated X-ray Diffraction Data Anomaly Identification via Multi-Scale Kernel Regression
dev.to·1d·
Discuss: DEV
💿Optical Forensics
Chicken Scheme internals: the garbage collector
more-magic.net·1d·
Discuss: Hacker News
🧠Separation Logic
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·2d
💎Information Crystallography
The use of Claude Code in SciML repos
discourse.julialang.org·1d·
Discuss: Lobsters
📏Code Metrics
The 8 Best Container Scanning Tools for 2025
boostsecurity.io·17h
📦Container Security
Art Index in ShannonBase
medium.com·15h·
Discuss: Hacker News
🗄️SQLite Internals
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Asio-gRPC: Asynchronous gRPC with Asio/unified executors
github.com·14h·
Discuss: Hacker News
⚡gRPC
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Understanding Matrices | Part 4: Matrix Inverse
towardsdatascience.com·13h
📐Linear Algebra
Compress Vectors by 4x by using 8-bit Rotational Quantization
weaviate.io·2d·
Discuss: Hacker News
📊Vector Quantization
Checkpoints for Claude Code
apps.apple.com·3d·
Discuss: Hacker News
🚀Compiler Optimizations
Condor's Cuzco RISC-V Core at Hot Chips 2025
old.chipsandcheese.com·11h·
Discuss: Lobsters, Hacker News
⚙️Modern Assembly
Bruteforcing pwgen passwords
blog.sesse.net·19h·
Discuss: Hacker News
🔓Password Cracking
Adaptive Modal Assurance Criterion (AMAC) for Real-Time Structural Health Monitoring in Wind Turbines
dev.to·1h·
Discuss: DEV
👁️System Observability
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
snuffle / salsa / chacha
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News
🦠Parasitic Storage